Autogenerated HTML docs for v2.5.1-454-g16163 
diff --git a/gitremote-helpers.html b/gitremote-helpers.html index 7ce3768..0ede9f5 100644 --- a/gitremote-helpers.html +++ b/gitremote-helpers.html 
@@ -1332,6 +1332,14 @@  Allow to extend .git/shallow if the new refs require it.   </p>   </dd>  +<dt class="hdlist1">  +<em>option pushcert {'true</em>|<em>false</em>}  +</dt>  +<dd>  +<p>  + GPG sign pushes.  +</p>  +</dd>   </dl></div>   </div>   </div>  @@ -1355,7 +1363,7 @@  <div id="footnotes"><hr /></div>   <div id="footer">   <div id="footer-text">  -Last updated 2015-05-22 13:47:07 PDT  +Last updated 2015-08-31 16:04:31 PDT   </div>   </div>   </body>